<?php
echo "hi\n";
?>
